Dyckhoff, Roy: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

GEOMETRISATION OF FIRST-ORDER LOGIC

DYCKHOFF, ROY, NEGRI, SARA

Journal:

Bulletin of Symbolic Logic

Year:

2015

Language:

english

File:

PDF, 351 KB

english, 2015

2

INDIRECT PROOF AND INVERSIONS OF SYLLOGISMS

Journal:

Bulletin of Symbolic Logic

Year:

2019

Language:

english

File:

PDF, 147 KB

english, 2019

3

A Note on Harmony

Nissim Francez and Roy Dyckhoff

Journal:

Journal of Philosophical Logic

Year:

2012

Language:

english

File:

PDF, 1.03 MB

english, 2012

4

Proof-Theoretic Semantics for Subsentential Phrases

Nissim Francez, Roy Dyckhoff, Gilad Ben-Avi

Journal:

Year:

2010

Language:

english

File:

PDF, 293 KB

english, 2010

5

Proof-theoretic semantics for a natural language fragment

Nissim Francez and Roy Dyckhoff

Journal:

Linguistics and Philosophy

Year:

2010

Language:

english

File:

PDF, 2.37 MB

english, 2010

6

Contraction-free sequent calculi for intuitionistic logic

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 900 KB

english, 1992

7

Categorical cuts

Journal:

General Topology and its Applications

Year:

1976

Language:

english

File:

PDF, 577 KB

english, 1976

8

Total reflections, partial products, and hereditary factorizations

Journal:

Topology and its Applications

Year:

1984

Language:

english

File:

PDF, 776 KB

english, 1984

9

Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information

Mehrnoosh Sadrzadeh, Roy Dyckhoff

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 346 KB

english, 2009

10

Permutability of proofs in intuitionistic sequent calculi

Roy Dyckhoff, Luís Pinto

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 962 KB

english, 1999

11

Factorisation theorems and projective spaces in topology

Journal:

Mathematische Zeitschrift

Year:

1972

Language:

english

File:

PDF, 454 KB

english, 1972

12

Book reviews

Dyckhoff Roy, E. Moggi

Journal:

Formal Aspects of Computing

Year:

1993

Language:

english

File:

PDF, 172 KB

english, 1993

13

Decision methods for linearly ordered Heyting algebras

Roy Dyckhoff, Sara Negri

Journal:

Archive for Mathematical Logic

Year:

2006

Language:

english

File:

PDF, 158 KB

english, 2006

14

Proof analysis in intermediate logics

Roy Dyckhoff, Sara Negri

Journal:

Archive for Mathematical Logic

Year:

2012

Language:

english

File:

PDF, 242 KB

english, 2012

15

Proof-theoretic semantics for a natural language fragment

Nissim Francez, Roy Dyckhoff

Journal:

Linguistics and Philosophy

Year:

2010

Language:

english

File:

PDF, 525 KB

english, 2010

16

Projective resolutions of topological spaces

Journal:

Journal of Pure and Applied Algebra

Year:

1976

Language:

english

File:

PDF, 503 KB

english, 1976

17

Exponentiable morphisms, partial products and pullback complements

Roy Dyckhoff, Walter Tholen

Journal:

Journal of Pure and Applied Algebra

Year:

1987

Language:

english

File:

PDF, 636 KB

english, 1987

18

Sequent Calculi for the Normal Terms of the λΠ- and λΠ∑-Calculi

Luís Pinto, Roy Dyckhoff

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 1001 KB

english, 1998

19

Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic

Roy Dyckhoff, Luis Pinto

Journal:

Year:

1998

File:

PDF, 616 KB

1998

20

Editorial

Roy Dyckhoff, Heinrich Wansing

Journal:

Year:

2001

Language:

english

File:

PDF, 52 KB

english, 2001

21

Editorial

Roy Dyckhoff, Heinrich Wansing

Journal:

Year:

2001

Language:

english

File:

PDF, 62 KB

english, 2001

22

[Lecture Notes in Computer Science] Extensions of Logic Programming Volume 798 || Finite domains and exclusions as first-class citizens

Year:

1994

Language:

english

File:

PDF, 1.23 MB

english, 1994

23

A Note on Harmony

Nissim Francez, Roy Dyckhoff

Journal:

Journal of Philosophical Logic

Year:

2012

Language:

english

File:

PDF, 345 KB

english, 2012

24

[Lecture Notes in Computer Science] Automated Reasoning with Analytic Tableaux and Related Methods Volume 1847 || Modality and Databases

Year:

2000

Language:

english

File:

PDF, 218 KB

english, 2000

25

Basic Proof Theoryby A. S. Troelstra; H. Schwichtenberg

Review by: Roy Dyckhoff

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 305 KB

english, 1998

26

Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators

Dyckhoff, Roy, Sadrzadeh, Mehrnoosh, Truffaut, Julien

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 293 KB

english, 2012

27

Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic

Roy Dyckhoff and Sara Negri

Journal:

Journal of Symbolic Logic

Year:

2000

Language:

english

File:

PDF, 383 KB

english, 2000

28

[Lecture Notes in Computer Science] Extensions of Logic Programming Volume 1050 || Handling equality in logic programming via basic folding

Dyckhoff, Roy, Herre, Heinrich, Schroeder-Heister, Peter

Year:

1996

Language:

english

File:

PDF, 970 KB

english, 1996

29

POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION

SADRZADEH, MEHRNOOSH, DYCKHOFF, ROY

Journal:

The Review of Symbolic Logic

Year:

2010

Language:

english

File:

PDF, 150 KB

english, 2010

30

Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators

Dyckhoff, Roy, Sadrzadeh, Mehrnoosh, Truffaut, Julien

Journal:

ACM Transactions on Computational Logic

Year:

2013

Language:

english

File:

PDF, 284 KB

english, 2013

31

Basic Proof Theoryby A. S. Troelstra; H. Schwichtenberg

Review by: Roy Dyckhoff

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 216 KB

english, 2001

32

Proof-Theoretic Semantics for Subsentential Phrases

Nissim Francez, Roy Dyckhoff and Gilad Ben-Avi

Journal:

Year:

2010

Language:

english

File:

PDF, 1.34 MB

english, 2010

33

Analytic Tableaux and Related Methods. Part 2: Non-Classical Logics || Editorial

Roy Dyckhoff and Heinrich Wansing

Journal:

Year:

2001

Language:

english

File:

PDF, 349 KB

english, 2001

34

Natural Deduction || Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic

Roy Dyckhoff and Luis Pinto

Journal:

Year:

1998

Language:

english

File:

PDF, 1.19 MB

english, 1998

35

Analytic Tableaux and Related Methods. Part 1: Modal Logics || Editorial

Roy Dyckhoff and Heinrich Wansing

Journal:

Year:

2001

Language:

english

File:

PDF, 341 KB

english, 2001

36

CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION

Journal:

Journal of Symbolic Logic

Year:

2018

Language:

english

File:

PDF, 75 KB

english, 2018

37

INDIRECT PROOF AND INVERSIONS OF SYLLOGISMS

Journal:

Bulletin of Symbolic Logic

Year:

2019

File:

PDF, 147 KB

2019

38

Computational Logic by Ulrich Berger and Helmut Schwichtenberg, editors, Springer-Verlag, 1999, 444 pp.

Journal:

Journal of Functional Programming

Year:

2001

Language:

english

File:

PDF, 101 KB

english, 2001